$\forall$$g$:AbGrp. Comm($\mid$$g$$\mid$;$\ast$)